formal geometry

形式几何